declare export opaque type Foo: Bar
